<HTML><HEAD><TITLE>X ~=< Y</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(notinstance)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>X ~=< Y</H1>
Constrain X not to be an instance of Y
<H2>Description</H2>
We assume:
    <UL>
	<LI> no shared variables between X and Y
	<LI> X may get more instantiated, but not Y
    </UL>
    Failure is detected eagerly. Success may be detected late.

</BODY></HTML>
